on-the-相关论文
以线性时序逻辑LTL（Linear Temporal Logic）模型检测算法为研究对象,提出以状态子集为中心的并行模型检测算法.针对传统单机多核算法......
针对电力企业需要高校教师参与企业岗位培训的需求量大增的现象,围绕高校教师如何做好企业岗位培训这一主题,分析企业岗位培训与高......
叙述了JJS1型翻斗雨量传感器校准仪的研制、开发及解决的主要技术问题，找出了校准过程中的误差来源，分析并给出了现场校准和测试的可......
目的：了解深圳地区临床合理用药状况，促进合理用药水平的提高。方法：选择6家不同等级医院2个月门诊处方和当日门诊就医患者，采取多中心......
针对移动Ad Hoc网络路由算法本地修复方面,研究移动Ad Hoe网络由于节点相对运动或无线环境变化所引起的链路失效的修复问题.分析传......
